Intermediate representation - PDFSEARCH.IO - Document Search Engine

Intermediate representation
Results: 37

#	Item
21	Formalizing the LLVM Intermediate Representation for Verified Program Transformations ∗ Jianzhou Zhao Santosh Nagarakatte Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2011-12-01 15:39:42 Data types Type theory Compiler construction Primitive types Cross-platform software LLVM Type safety Blocks Pointer Software engineering Computing Computer programming
22	Graal IR: An Extensible Declarative Intermediate Representation Gilles Duboscq∗ Lukas Stadler∗ Doug Simon† Christian Wimmer† Thomas Würthinger† Hanspeter Mössenböck∗ Add to Reading List Source URL: ssw.jku.at Language: English - Date: 2013-06-03 13:35:12 Static single assignment form Linked list Combinatorics Connectivity Control flow graph Graph Search algorithms Network theory Depth-first search Compiler construction Mathematics Graph theory
23	Formalizing the LLVM Intermediate Representation for Verified Program Transformations ∗ Jianzhou Zhao Santosh Nagarakatte Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-01-05 09:49:14 Data types Type theory Compiler construction Primitive types Cross-platform software LLVM Type safety Blocks Pointer Software engineering Computing Computer programming
24	Erbium: A Deterministic, Concurrent Intermediate Representation for Portable and Scalable Performance Cupertino Miranda1 , Philippe Dumont1,2 , Albert Cohen1 , Marc Duranton2 and Antoniu Pop3 1 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2010-01-25 11:25:30 Programming language implementation Models of computation Compiler construction Cross-platform software Procedural programming languages Kahn process networks Compiler Ada Denotational semantics Computing Software engineering Software
25	Data and Process Abstraction in PIPS Internal Representation In proceedings, First Workshop on Intermediate Representations (WIR-1) Chamonix, France, April 2011 Technical Report MINES ParisTech A/447/CRI Fabien Coelho Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2011-03-22 05:04:03 Subroutines Procedural programming languages C++ Source code Data types Fortran C For loop Pointer Software engineering Computer programming Computing
26	ERBIUM: A Deterministic, Consurrent Intermediate Representation to Map Data-Flow Tasks to Scalable, Persistent Streaming Processes Motivation: w: view Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2010-09-24 10:06:21 Parallel computing Xeon Opteron Data parallelism Intel Core ALGOL 68 Fast Fourier transform Printf format string Advanced Micro Devices Computing Computer programming Software engineering
27	SPIRE: A Methodology for Sequential to Parallel Intermediate Representation Extension Dounia Khaldi, Pierre Jouvelot, Franc¸ois Irigoin and Corinne Ancourt CRI, Math´ematiques et syst`emes, MINES ParisTech 35 rue Saint Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2013-04-23 09:30:03 Parallel computing OpenMP Task parallelism Cilk Barrier Unified Parallel C Automatic parallelization Data parallelism Parallel programming model Computing Concurrent computing Computer programming
28	SPIRE: A Methodology for Sequential to Parallel Intermediate Representation Extension Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2013-05-16 08:55:02 Parallel computing Application programming interfaces GPGPU Fortran OpenMP OpenCL Cilk LLVM X10 Computing Computer programming Software engineering
29	Erbium: A Deterministic, Concurrent Intermediate Representation to Map Data-Flow Tasks to Scalable, Persistent Streaming Processes Cupertino Miranda Antoniu Pop Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2010-09-24 08:26:00 Parallel computing Compiler optimizations Concurrency control Programming paradigms Concurrent data structure Cilk Scalable parallelism Multi-core processor OpenMP Computing Concurrent computing Computer programming
30	The Elcor Intermediate Representation 1. Introduction The Trimaran back-end (Elcor) uses the Elcor Intermediate Representation ( The Elcor IR ) to represent a program unit. A program unit consists of a graph of operation Add to Reading List Source URL: www.trimaran.org Language: English - Date: 2007-03-06 21:23:11 Instruction scheduling Static single assignment form Instruction set Register allocation Control flow graph Computer science Compiler optimizations Compiler construction Computing